complete axiom system
[数] 完备公理系统
热门查询
- butt n. 屁股；烟头；笑柄；靶垛；粗大的一端 vt. 以头抵撞；碰撞 n. (Butt)人名；(英)巴特；(俄、德、印、巴基)布特
- Judah n. （圣经中的）犹大；犹大的后裔
- circumlocutory adj. 迂回的；委婉曲折的；拐弯抹角的
- Zaire n. 扎伊尔（非洲中西部一共和国）
- perpetual adj. 永久的；不断的；四季开花的；无期限的
- sailing n. 航行，航海；启航；航海术 v. 航行，起航（sail的现在分词形式） adj. 航行的
- surpass vt. 超越；胜过，优于；非…所能办到或理解
- xvi num. 罗马数字 16
- squarish adj. 有点方的，近似方形的
- beating n. 打；[纸] 打浆；敲打；失败 v. 打（beat的ing形式）
- exacerbate vt. 使加剧；使恶化；激怒
- sensibly adv. 明显地；容易感知地；聪明地
- biscuit n. 小点心，饼干
- Plantagenet n. 金雀花王朝（1154-1485年）；金雀花王家
- flounced v. 暴跳，怒气冲冲地走动( flounce的过去式和过去分词 )
- bloodily adv. 残忍地；血迹斑斑地，血腥地
- chapped adj. 有裂痕的；裂开的 v. 裂开（chap的过去式和过去分词）
- unemployed adj. 失业的；未被利用的
- Acheson 艾奇逊(①姓氏 ②Dean Gooderham, 1893-1971, 于1949-1953年任美国国务卿)
- eau n. （法）水 abbr. 扩充算术运算器（Extended Arithmetic Unit）；欧洲泌尿科学会（European Association of Urology）；估计年用量（Estimated Annual Usage 或者Estimated Annual Unit）
